Stepwise Refinement of Data Flow Architectures

نویسندگان

Jan Philipps

Bernhard Rumpe

چکیده

Software and hardware architectures are prone to modi cations We demon strate how a mathematically founded re nement calculus for a class of ar chitectures namely data ow networks can be used to modify a system in a provably correct way The calculus consists of basic rules to add and to remove components and channels to a system

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Correct Architecture Refinement

A method is presented for the stepwise refinement of an abstract architecture into a relatively correct lower level architecture that is intended to implement it. A refinement step involves the application of a predefined refinement pattern that provides a routine solution to a standard architectural design problem. A pattern contains an abstract architecture schema and a more detailed schema i...

متن کامل

Preserving Information Flow Properties under Refinement

In a stepwise development process, it is essential that system properties that have been already investigated in some phase need not be re-investigated in later phases. In formal developments, this corresponds to the requirement that properties are preserved under refinement. While safety and liveness properties are indeed preserved under most standard forms of refinement, it is well known that...

متن کامل

Conceptual Design for Controller software of mechatronic systems

The method and software tool presented here, aims at supporting the development of control software for mechatronic systems. Heterogeneous distributed embedded processors are considered as target hardware. Principles of the method are that the implementation process is a stepwise refinement from control laws to efficient computer code and that all phases are verified by simulation. Simulation i...

متن کامل

Action Refinement in Process Algebra and Security Issues

In the design process of distributed systems we may have to replace abstract specifications of components by more concrete specifications, thus providing more detailed design information. In the context of process algebra, this well-known approach is often referred to as action refinement. We study the relationships between action refinement and security properties within the Security Process A...

متن کامل